可信证据相关论文
目前,许多BPM (Business Process Management)软件企业使用基于构件复用的软件开发方法,缩短了开发周期、节约了开发成本、提高了......
学位
针对终端安全日益受到人们的重视这一状况,我们发现使用软件隔绝终端外部威胁的方式不能绝对保证终端安全,首先利用软件来保护终端......
安全关键软件在航空航天、轨道交通、工业控制等领域当中扮演着非常重要的角色,一旦失效将会产生难以预计的后果,因此,对软件的可......
【摘 要】本文以开源软件自动化评估证据框架为研究对象，探讨了通用程序有关证据、面向对象程序有关证据、开源相关证据，引入了面向......
随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失......
